5

Bounded fixed-parameter tractability and nondeterministic bits

Year:
2006
Language:
english
File:
PDF, 424 KB
english, 2006
17

Bounded fixed-parameter tractability and reducibility

Year:
2007
Language:
english
File:
PDF, 386 KB
english, 2007
21

Linear temporal logic for regular cost functions

Year:
2014
Language:
english
File:
PDF, 604 KB
english, 2014